Sbtb 2023: Stewart Stewart, Puzzles And Problem Solving With Scala Tooling.